『［2021CAPE公開セミナー］論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」』 - pogi-log

『［2021CAPE公開セミナー］論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」』

↑CAPE公開セミナー

← 『［2021CAPE公開セミナー］論理学上級 Ⅱ-3「証明論的意味論としてのマーティン・レーフの構成的型理論」』

矢田部俊介. [2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」 . 2022

https://www.youtube.com/watch?v=BXMMzRkDbac